#!/bin/sh

${srcdir}/check.sh 3 12 d10_40

